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