Today in the morning I noticed that the water pump was dysfunctional. After a full day of work I went to inspect. It seemed like the capacitor had died. It was already 8 pm, so all the stores were closed. I called one of my neighbours who runs a plumbing company, and he said he has some used pumps at his warehouse. I drove to him and got a spare part. At home I installed the spare capacitor, and now the pump works again. I guess I have already said that I like my neighbours!