"historisk anlegg" er et 16-bokstavers substantiv som brukes som synonym for "gamlebygget". gamlebygget betyr: Et gammelt og historisk viktig anlegg.