Thank you Oscar! i am sort of thinking that something like this is on PDF somewhere in some collection to which the universities subscribe, but for which they charge exorbitant rates to non-students. I know I was able to find the Stanley translation of Gassendi that way at my university library. It wasn't in JSTOR but it was in some sort of generic antique document collection.
(Of course it goes probably without saying that Martin would have no issue with the original German, if we can find it, even though that would be next to useless to me personally.)