[599] Hülfsbau, beim Bergbau derjenige Grubenbau, durch welchen physische Schwierigkeiten beseitigt werden.