Operating a grievance procedure