Modul Theoretische Informatik im Master Angewandte Informatik