( 1249 ) Brunns-Intendent.