We consider horofunction compactifications of symmetric spaces with respect
to invariant Finsler metrics. We show that any (generalized) Satake
compactification can be realized as a horofunction compactification with
respect to a polyhedral Finsler metric.Comment: In the new version, the Convexity Lemma is proven for general norms
and not only polyhedral ones. Additionally, smaller changes and corrections
were don