Lokale Installation:

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