Benennung eines Platzes mit dem Namen "Martin-Luther-Platz"