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