Saken tillgick på det viset;