Saken förhåller sig så här: