Det var , såsom redan framgick af dessa exempel,