Germann translation updated by Hermann.