( 1724 } Brunns-Intendent.