( 1885 ( Brunns-Intendent.