Smock mills in Denmark