Hafen (im Sinne von Hafenstadt oder Hafenbezirk)