Uploaded 12 Feb 2005 by Claus.
10 × 1.30 × 0.60 × 1.15 × 1.00 = 8.97, rounded to 9. Why these factors.