dekorerad med hederslegionens oflicerkors.