Title: Leonhardi Euleri opera omnia