Saken förhåller sig nu så: