Bassins die leeggepompt om er schepen in droog te zetten. (nl)
Schmales Becken, das ein einzelnes Schiff, Boot oder anderes Wasserfahrzeug aufnimmt und dann ausgepumpt wird, um das Wasserfahrzeug für die Reperatur trocken zu legen. (de)
Enclosures or narrow, artificial basins that hold single ships, boats, or other watercraft, and from which the water may be pumped or let out to leave the vessel dry for the purpose of maintenance, repair, or shipbuilding. (Sometimes also used for building ships.). Dry docks are known in the historical record as early as the 10th century in China. (en)