Some remarks on proper actions, proper metric spaces, and buildings. - Kramer, Linus (Advances in Geometry, 2022)