Theoretische Informatik juli 2005