Not having driven it for a long time I took her out for a final drive a few days ago. Always impressed on how she drives after having driven several...
The order arrived and the length of 408 mm (130 mm diameter) fits perfectly.
Interestingly, the old belt is a little thicker than 1 mm, probably 1.2...