Betrifft Öl zum Einölen der Wasserschläuche, vgl. R.W. Daniel, Z.P.E. 101 (1994), S. 63-66.