( 725 ) Bruns-Intendent.