"krigsleir" er et 9-bokstavers substantiv som brukes som synonym for "Grini". Grini betyr: Leir for militære styrker, ofte i krigstid