Some remarks on proper actions, proper metric spaces, and buildings - Linus Kramer (2021)