( se avsnitt 5.3.7 )