HAL? Das ist ja irgendwie eine etwas unglückliche Namensgebung... ;-P