Department of Informatics, University of Bergen, Norway. ketil@ii.uib.no|Department of Informatics, University of Bergen, Norway. ketil@ii.uib.no|Department of Informatics, University of Bergen, Norway. ketil@ii.uib.no