text: In der amtlichen Karte des Freistaates Bayern hat dieser Baggersee überhaupt keinen Namen. Die Einheimischen nennen ihn aber „Maurer See“. Niemand den ich kenne sagt „Mauerner See“. Selbst im Landratsamt nennt man ihn „Maurer See“, wie der obige Link beweist.