Benennung eines Technischen Betriebsleiters der eigenbetriebsähnlichen Einrichtung Bühnen der Stadt Köln