Aasee? Nein! Der Lübecker Mühlenteich!