Holaveden ( Holavidh , d. v. s. Hålskogen)