Gravitrax Schalter Switch Remix

JuReMi's Gravitrax Schalter Switch is so badly designed! It fits so tightly that even my custom-made Gravitrax 140mm drop slide (https://www.thingiverse.com/thing:6757648) cannot make the switch move even a millimeter! Turns out, the original switch has a diameter of 15mm, while the Gravitrax Schalter Switch has a diameter of 15.2mm! So I fixed it.

Let me know in the comments if anything's wrong with them. This Thing is still a Work-In-Progress.

Enjoy!