Navnene på de drepte på Kongsberg offentliggjort av politiet