Men medan saken så stod,