Uppsala-TR-B4020-12-Dom.pdf