Control circuit devices and switching elements proximity sensors, d.c. interface for proximity sensors and switching amplifiers (NAMUR)