Freie und Hansestadt Hamburg.