Ehrenbreitstein, Festung