FHSet.tex angepasst auf Praktikum Kombinatorische Logik