Burgerlijk Wetboek Boek 8:Artikel 840 [Schip aan Rijk of openbaar lichaam toebehorende]