Berlin : VEB Landkartenverlag,