3 ms·

I think I used amazon.de the last time. The standard plastic 5mm one shouldn't cost you more than €5 there. Good luck!