How was germany divided after the second world war