Văn bản này: Arithmetic compactifications of PEL-type Shimura varieties