Central refrigeration system of the superconducting HERA proton magnet ring