When Was Germany Officially Divided