Logikkalküle - nidottu, Saksa, 1978