Comparing gravity waves in a kilometre-scale run of the IFS to AIRS satellite observations and ERA5