Botanische Untersuchungen über einige in Java vorkommende Pilze