Egberti Joannis Grevii laudatio - Lotze, Johann Anton (1815)