"double jacket pipe" Deutsche bedeutung