Saken synes sålunda vara ganska klar: