Ehrenbreitstein måste kunna inneslutaofantliga