German public employees hold strike over pay