( 1257 ) Th von Schantz.