The velocity dispersion function of red galaxies in four Hubble Frontier Fields galaxy clusters — arXiv2