ridge prominence of Hittisberg in the Allgäu Alps in Vorarlberg, Austria