Motoren & Motorteile, Sensoren, Öldrucksensor (Öldruckschalter) für BMW 7er (E23)