Logik für Informatiker - nidottu, Saksa, 1992