Found
The document has moved
here
https://logicprime.nl