Gauge principle and QED