P A . Gruggel,