"pipe dope" Deutsche bedeutung