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