Vinzenz von Ehrhart. Nekrolog - Zimmermann, Robert (1873)