Encoding in HTTP Headers: charset and Content-Type