"administrative domstoler" er et 24-bokstavers substantiv som brukes som synonym for "overligningsnemndene". overligningsnemndene betyr: Domstoler som behandler forvaltningssaker