Reinhard, here is an SVG and CSS approach that allows the type of noise to be varied: 134010.

There is a lot happening:

The red box is an SVG filter with an ID to allow it to be used...