German public sector workers strike over pay demands