A quantitative central limit theorem for Poisson horospheres in high dimensions | Arena Library | Arena