( 3190 ) Brunns-Intendent.