Der originale Schieberegler ist bereits gebrochen, ich habe einfach einen kopiert und ihn mit TPU A95-Material gedruckt. Die Abmessungen sind wie folgt: