"verftshall" er et 10-bokstavers substantiv som brukes som synonym for "dokkestue". dokkestue betyr: Stor hall på verft for båtreparasjoner