Det heter i domen , attexministrarna