Saken war således klar: