Senaten i Hamburg har den 9:de fåttsig