Winter Term 2024/25 Effective Programming with Effects (Praktikum) Implementierung von Programmiersprachen (Praktikum) Software Engineering