"pipe covering" Deutsche bedeutung