A Westerbork survey of rich clusters of galaxies. IX - The radio luminosity function of the Hercules supercluster at 610 MHz