Theoretische Informatik (TI) von Prof. Sachenbacher für IT1 im WiSe26/27