laufen hat rund siebentausenddreihundert einwohner.