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