Gedenken an Nazi-Opfer: Stadt München muss Stolpersteine nicht erlauben