“…De ouderdomsvoorziening zal worden uitgevoerd door de Sociale Verzekeringsbank (de huidige Rijksverzekeringsbank) en de Raden van Arbeid. [] 10. …”