Kompaktheitseigenschaft des linearisierten Boltzmann-Operators für ein mehratomiges Gas, das Resonanzkollisionen unterliegt