franz name lothringens