iso_8859-13(7) on Linux

The text 7a6a07ffa9d4, as Debian 10 (Buster) shipped it.

ISO 8859-13 character set encoded in octal, decimal, and hexadecimal

iso_8859-13(7) on Linux now