Antenna replacement at Marion Island (see DORISmail 934)