(Malachi Hacohen records that Herr Grübl's first name was Raimund, after which Karl received his middle name