( 785 ) Ludvig Svenonius.