Betoonzuschlag ist eine veraltetet Bezeichnung für Gesteinskörnung