Wavelength-tunable diamond Raman laser at ∼2.5 μm. (18th June 2021)