Sakens förlopp är följande.