Amtsblatt für die Stadt Duisburg : Jahrgang 44 [2017] Nummer 20 ; 15.05.2017 / hrsg. von: Stadt Duisburg, Der Oberbürgermeister, Hauptamt. Duisburg