Hamburgs regering skulle , » enligt grundlagen » , utgöras af fyra borgmästare(