i Hamburgs senat , borgmästaren Petersen,