Tag 'name:etymology:wikipedia = de:Otto von Guericke'