Korrekte nebenläufige Anwendungen mit Koroutinen und TDD