"historisk festning" er et 18-bokstavers substantiv som brukes som synonym for "gamlebygget". gamlebygget betyr: En festning med historisk verdi.