Abstract: I will explain how to use Finsler horofunctions to construct the maximal Satake compactification for symmetric spaces of noncompact type. This construction is then used to compactify certain classes of locally symmetric spaces. This is a joint work with Bernhard Leeb.