Onko Ernst Ruben Lagus Mannerheim-ristin ritari?