This document may be freely used and copied for non-commercial purposes, provided that the source is acknowledged. Its contents are licensed under the attribution 4.0 international (CC BY-NC-SA 4.0 licence)