Tragbare Handhydraulik-Kalibrierpumpe, Druckprüfgerät für Marine-Druckpumpen