( borgmästaren i Hamburg )är