Holnstein, das sich von "Hohler Stein" (Karst) ableitet.