Saken står sålunda på det sättet,