Translation of "Wilkes basin" in German