Uploaded 14 Sept 2024 by fabi.
10 × 1.30 × 0.60 × 0.80 × 1.15 = 7.18, rounded to 7. Why these factors.
