Warnstreik: Hamburger Beamte gehen baden