Saken förhåller sig så: