Antenna change at Ponta Delgada (see DORISmail 0940)