
gereedschapsmagazijn- ruimte met opgeslagen gereedschap of gereedschapsopslag van een gereedschapsmachine, waaruit naar behoefte gereedschap in een werkspil of gereedschapshouder kan worden gewisseld
Raum mit gelagerten Werkzeugen oder Werkzeugspeicher einer Werkzeugmaschine, aus dem je nach Bedarf Werkzeuge in eine Arbeitsspindel oder einen Werkzeughalter eingewechselt werden können