Die Gewinnung von Erdöl mit besonderer Berücksichtigung der bergmännischen Gewinnung