P A . Gruggel.