  These are the (somewhat extended) lecture notes for four lectures delivered
at the spring school during the thematic programme "Mathematical Perspectives
of Gravitation beyond the Vacuum Regime" at ESI Vienna in February 2022.
