Translation of "Sump gasket" in German