"industrihall" er et 12-bokstavers substantiv som brukes som synonym for "Værksted". Værksted betyr: Stor hall for industriell produksjon.