Fanny Hensel : a research and information guide /