Translation of "Jack-up barge" in German