Navigazione: Repubblica Democratica Tedesca