So wird die Auslaufgitterplatte einer Kugelmühle ausgetauscht, ohne die gemauerten Auskleidungen zu demontieren