Yes it is a pressure switch I use many of them, however if you were to replace it today with the equivalent part it would be an Aventics and the menus aren’t the same so if you go to Aventics website I think you can cross reference back to the old Bosch part and get the appropriate manual in PDF.
Unfortunately I’m not at home right now for another four weeks and I assume you will want it before that and I don’t have access to my whole repository or I would send it to you.