Hvad i denna § om Statens kanal- eller slussverk,