Remove "The type EcharT shall be an encoded character type (5)." from 8.3 since it is already specified in 5. (LWG Rapperswil)