portrait of david hilbert