Digest #5

Now it works for me too. I was a server problem, probably.