"Georg Kreisel"