Sakens förlopp är följande: