Domen föll i fredags , den 9 maj,