Politiet frigir navn på gutt som omkom i fallulykke i Sirdal