Das ist eine wohl aufzuwerfende Frage. Gibt es mehrere Verenamünster? Und falls ja und tatsächlich ein Klammerlemma nötig ist, sollte man wohl den heutigen Ortsnamen wählen. -- Xocolatl 21:26, 30. Aug. 2019 (CEST)