§ 5807. Use of Government facilities