"pipe socket" Deutsche bedeutung