Deduktive Datenbanken - nidottu, Saksa, 1993