Popper himself, in his autobiography, erroneously recalls that Herr Grübl's first name was Carl