translated by @1154lizztypesetted by @bersonni