Sakens hela förlopp var helt enkelt följande: