What dictionary has to say about

East German