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