Ist ja halb so wild. Über den ganz breiten Daumen ist wohl etwa die Hälfte der "klassischen" Windmühlen (Holländer-/Spinnenkopfmühlen, Tjasker, ...) in den Niederlanden Windpumpen. Über ein bisschen mehr oder weniger möchte ich mit Dir, Gasch und Twele nicht streiten. Bei der Berechnung des genauen Verhältnisses beginnt die Ungenauigkeit schon damit, dass die Begriffe, die in der niederländischen und der deutschen Sprache verwendet werden, nicht 1:1 zu einander passen. So gibt es beispielsweise im Holländischen paradoxerweise keine exakte Entsprechung zur deutsche Bezeichnung "Holländermühle".