"Laura" music by David Raksin