Hi Marcel, unfortunately cant measure now the diameter of the shaft on Macs pump however I checked my double pulleys and interestingly there are two types. One for 12mm shaft and another for 16mm shaft. I believe that 16mm is more common for heavy use - trucks etc.
Confusing?