Vereinbarung zwischen dem Zechenverband und den Bergarbeiterverbänden über die Siebeneinhalb-Stunden-Schicht