The HFR Petten high dose irradiation programme of beryllium for blanket application