Names and places in Gödel's Protokolle notebook