Title: Ein Prüfsystem zur Fehlersuche für elektronische digitale Rechenanlagen