#else
// The string is internally stored as UTF-8, we have to convert
// it into system's default encoding so that it can be displayed:
#else
// The string is internally stored as UTF-8, we have to convert
// it into system's default encoding so that it can be displayed: