Retired
This user is no longer active on Wikipedia.
Unwillingly I became involved in an edit war. There are two things I can do now: give up or escalate. Give up? I still think I am right. Escalate? Appeal to the mods, maybe organise a vote? That means investing a lot of time and energy.
At moments like these it helps to remember why I am participating on the English Wikipedia. It is a hobby. A hobby is supposed to be fun. When it is not fun anymore, it's time to leave.