Mare Humorum / Gassendi false-color-processing, Michael Kohl