Hey, Lauf existiert ja sogar schon in Wikipedia. Musste nur noch ein paar Daten korrigieren (von wegen „11.000“ Einwohner…).