Danke!

Hab durch Zufall einen "Wiha PicoFinish Sechskant-Steckschlüssel 4mm" gefunden. Der passt ohne Anpassungen ziemlich press, aber ohne das Gehäuse zu beschädigen.

Gruß Joachim