Sakens föregående förlopp är följande: