( 10712 ) Redaktionen.