Theoretische Informatik und Logik würdevoll bestanden. :D