Uploaded 17 Jun 2025 by timtierholz.
10 × 1.00 × 1.00 × 0.80 × 1.00 = 8.00, rounded to 8. Why these factors.