Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 05.02.2015, Lektion 19