Translation of "West germany" in German