[D-CON] FTI-Preis 2013 für die beste Theorievorlesung in Informatik