Gassendi and Mare Humorum, Riedl Rudolf