"gammel festning" er et 15-bokstavers substantiv som brukes som synonym for "gamleheimsplass". gamleheimsplass betyr: En gammel militær festning.