Misc: in which film and stage musical did the song "gee, officer krupke" occur??