Title: Die von der deutschen Himalaya-expedition 1937 gesammelten pilze