"leir" er et 4-bokstavers substantiv som brukes som synonym for "Grini". Grini betyr: Anlegg for militært eller annet formål, ofte midlertidig