Leonhardi Euleri Opera omnia: Editing the works and correspondence of Leonhard Euler