"verksteder" er et 10-bokstavers substantiv som brukes som synonym for "industriflåtene". industriflåtene betyr: Lokaler hvor produksjon eller reparasjon skjer.