Krsysztof - I would grab those from frogisland. Even if you find the electrical parts, you are going to need the plastic mounting hardware he is offering.
I checked my three favorite US electrical component suppliers - Digikey, Newark and Mouser. They all carry the 2-5000s, but none of them have stock.
If you search for the 2-5000 in Newark, they reference the 2-5700. They have four 2-5700s in stock.
From the data sheet, they are the same size and electrically similar. The 5700 lack the manual release, so you have to push to release and then push to reset. And the 5700 is designed to mount using a nut over a threaded shaft around the button. Nonetheless, it appears to me that the 5700 will work in place of the 5000, assuming you can get it mounted. (and per the data sheet, ATE makes a mounting plate). Data sheet is here:
https://www.farnell.com/datasheets/56051.pdf