أرسل هذا في رسالة قصيرة: Arithmetic compactifications of PEL-type Shimura varieties