pigghugge verb VARIANTpigghogge ETYMOLOGI annet ledd hugge BETYDNING OG BRUK behandle (stein) med pigghammer