Title: Kreisel: Theorie und Anwendungen (German Edition)