Here is the link to today's column. It was interesting to see that
Marius used to be well-used in Denmark and Norway. I wonder if parents there saw it as a "different but not too different" alternative for
Magnus?
https://omaha.com/lifestyles/cleveland-evans-mario-has-a-real-life-heroic-history/article_129e2772-d479-11ed-96fd-f3464d13acc3.html