Translation of "Reef knot" in German