HF microphones