Så står saken antagligen nu,