Sorry an alle, die jetzt etwas warten mussten. Es hatte sich tatsächlich einiges bei mir angestaut, was mich die letzten Tage ziemlich eingenommen hat. Jetzt aber zu euch:
Hier die Dateien im step-Format. Bitte mal Feedback geben, ob du damit was anfangen kannst, bzw ob du sie überhaupt downloaden kannst. Ich bin in der Materie noch nicht so drin, was Dropbox usw angeht. Für gewöhnlich trage ich noch einen USB-Stick mit mir herum, anstatt etwas in eine Cloud hochzuladen 
Ich habe diese Taster bestellt:
Gebildet 10 Stücke wasserdichte Drucktaster Momentanen Edelstahl Taster EIN Aus 12mm 2A/12V/24V/125V/250V(Hervorstehend) : Amazon.de: Baumarkt
Haben 12mm im Durchmesser. Alles andere kannst du der Beschreibung entnehmen.
Die haben einen schönen aber nicht zu schweren Druckpunkt und funktionieren nach wie vor.
siehe oben