Programmverifikation - häftad, Tyska, 1994