TROPOMI, the sentinel 5 precursor instrument for air quality and climate observations: Status of the current design