Reparaturanleitung, Reparaturleitfaden, Werkstatthandbuch Porsche 924S