text: Im Tourismus-Büro ist man offensichtlich anderer Meinung. Die Karte ist ja nicht für Einheimische, die sagen auch "Neistod", ebenso ist "Maurer See" wohl eher dem Dialekt geschuldet. Deshalb die Frage welche Bezeichnung für Kartennutzer sinnvoll ist. Orthographisch meines Erachtens Mauerner See, weil er nahe Mauern liegt und nichts mit einer Mauer oder Handwerkern zu tun hat.