Saken förhölle sig så,