Marienhof: pomki.de Website https://www.pomki.de/sei-gscheit/lexikon/m/marienhof
Der Marienhof ist der Platz hinterm Rathaus. Also nicht der andere Platz vor dem Rathaus, der fast genauso heißt.
Das heißt, München ist, so scheints, viel älter als gedacht.