The horofunction compactification of finite-dimensional normed vector spaces and of symmetric spaces - Schilling, Anna-Sofie (2021)