Hilbert&#39;s Happy Day eBook