( Se utförligare redogörelse av domen i avsnitt 8.11 ) .