Gödel's Protokolle notebook: original shorthand text