Deutsche Enzyklopädisten - Fontius, Martin