Theoretische Informatik - e-bok, Tysk, 2013