[ 4931 ] Brunns-Tntendent.