"historiske anlegg" er et 17-bokstavers substantiv som brukes som synonym for "gamlebygningene". gamlebygningene betyr: Gamle bygningsanlegg med historisk verdi