westgermany