Hamburg...eine Hafenstadt im Oktober.