@jlorenz Kein Ding - war nur ein Vorschlag um alle glücklich zu machen. 
Wir brauchen die Komplexität nicht, freuen uns aber sehr auf den zweiten Hotkey!
Danke, dass ihr den Wunsch so schnell, kompetent und flexibel aufgegriffen habt. Ich habe den Eindruck, dass wir uns für den richtigen Hersteller entschieden haben. Top! 