Was there much controversy in Norway over the decision to use capital punishment with the convicted collaborationists following World War II?