Rijksgebouwendienst koopt rechtbank