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