Benennung eines Platzes mit dem Namen "Klaus-Miesner-Platz"