A magnetometer for the Solar Orbiter Mission