Saken förhåller sig som följer: