Hamburg is St. Pauli