During the Allied occupation of Germany after World War II, internal borders were redrawn by the Allied military governments. What was not abandoned in territory east of Prussia until after WWII?