Denna dom har nu , som bekant ,utfallit