Gödel's Protokolle notebook: German transcription of text