Uploaded 07 Dec 2006 by zugfan.
10 × 1.15 × 1.00 × 1.15 × 1.00 = 13.23, rounded to 13. Why these factors.