Verdeck: Druckknöpfe ersetzen - Werkzeug?