Bohrification of local nets of observables