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