Hi both,

It was nice talking to you the other day. There was one thing I wanted to
update you on, since I gave some very approximate numbers during the
meeting:
The cost of a single server is around 20K euros. So for instance 100K would buy around
5 servers.

Cheers,
David