The UK’s most senior EU official just resigned