Puh, die Schreibweisen "Bernard/Bernhard" gehen überall bunt durcheinander, auch beim Namensgeber Bernard Mondenschein und der von ihm errichteten Hammermühle. Das ruft nach reichlicher Anwendung von "alt_name", damit Navis das Ziel finden können.