Whoops my mistake, I was looking at the colour of the 'casing' thinking that was the part that determined the type; they are white ones then

I'll take a look at it, thanks!
edit: lacking access to a multimeter I went ahead and opened the switch. As far as I could tellI think it's that strip of metal that's a bit worn out, not staying firmly in place anymore. I tried reinforcing it with some paper which improved performance for a minute, but now it seems like it's actually working worse than before

Before actually trying my hand (or rather, someone else with more proficiency) at de/soldering I'll try to get hold of a multimeter though.
Thanks you all for your help!
PS since I'll probably get more damaged switches given the board's overall state (it looks like it had a pretty hard life) where could I best try to get hold of replacement switches given my location of Europe, Belgium? Cherry itself sounds like a safe bet, it's based in Germany no?