The officer in the north-west German city had argued with his superiors for months, demanding either getting a pay rise or time off in lieu for what he said amounted to 45 hours of his time he was giving to his employers each year. They refused on both counts, saying it was part of his duties as a policeman.