Due to health problems, I'm not getting much work done at the moment. But I did manage to do a bit yesterday
I cleaned and re-greased the pedals. Now they run like on the first day again.
Unfortunately I'm missing a dust cap, so if anyone has one to spare I'd be happy to take it.
Next up...