Continuously operating high-pressure carbon dioxide laser with a tuning range of 800 MHz