IR-Filter (Infrarotfilter) und IR-Fenster von InfraTec