The content of this site has permanently moved to https://people.kth.se/~arveg/holtactics.html.