Repeat: Shorter-wavelength diodes, while substantially more expensive, are commercially available for wavelengths down to 240 nm.
Shorter-wavelength diodes, while substantially more expensive, are commercially available for wavelengths down to 240 nm.