Tropical truffles: English translation and critical review of F. von Höhnel’s truffles from Java