  It is shown that sufficiently smooth initial data for the Einstein-dust or
the Einstein-Maxwell-dust equations with non-negative density of compact
support develop into solutions representing isolated bodies in the sense that
the matter field has spatially compact support and is embedded in an exterior
vacuum solution.
