Auch wenn der Nachname Hoffmann, Hofmann einen Ursprung hat...der See heißt gemäß Google, GoogleMaps, Google Earth....usw. = Hofmannsweiher! — Preceding unsigned comment added by RaSlaMa (talk • contribs) 4 February 2018 (UTC)