( 1173 ) Brunns-Intendent.