Sakens förlopp är i korthet detta: