"himmeldomstol" er et 13-bokstavers substantiv som brukes som synonym for "luftherredømmene". luftherredømmene betyr: Domstol for luftrettssaker.