Feature films starring David Hilbert