Winter Term 2019/20 Informatik I Kategorientheorie für Programmierer Web Programming with Framework (Praktikum)