Gauss' law for electricity