Leibniz-Arnauld-correspondence