Art of windmill maintenance: quixotic Dutch restores old pump