"dokkeforvaltningssted" er et 21-bokstavers substantiv som brukes som synonym for "dokkestue". dokkestue betyr: Sted for administrasjon av dokk