Uploaded 31 Jul 2007 by waldfee.
10 × 1.00 × 1.00 × 1.34 × 1.00 = 13.40, rounded to 13. Why these factors.
