Hamburg election: