Lokale Installation:

 /usr/loacl/pub-bkb/bin in den Pfad aufnehmen
und casl oder HOL-CASL starten.