SET-PUSH-BUTTON-LABEL
=====================

Syntax: (set-push-button-label 
           <babylon-push-button> <label>)

Diese Funktion erzeugt eine Aufschrift für den 
Push-Button.

Beispiel: Siehe Beispiel von GET-PUSH-BUTTON-LABEL