A compact autocorrelator for the wavelength range between 4 and 10 μm