It's funny metrics. Sizes like 11mm and 13mm .
European cars and bikes tend to use these sizes. The Japanese did until around the late 60's/early 70's. They then changed over to the 10/12/14 we are more familiar with. The Chinese units I sell tend to use the European sizes, but lately they seem to be moving more to the Japanese sizes.