( 1232 ) Redaktionen.