2.45-GHz microwave plasma sources using solid-state microwave generators. ECR-type plasma source. Issue 4 (1st October 2016)