Sakens förlopp har i korthet varit följande: