Terahertz frequency counter based on a semiconductor-superlattice harmonic mixer with four-octave measurable bandwidth and 16-digit precision. (19th July 2021)