Thanks to Planet Ubuntu NL I found a blog entry by Pascal de Bruijn with a hack to extract fonts from a PDF, using pdftops and FontForge. When I have some time, I definitely should try this.