( 1719 ) Brunns-intendent.