Inzwischen veralteter Begriff für Gesteinskörnung.