[MonetDB-users] Question about used Encoding