Title: Die Auswirkungen der Umstellung von Pressluft auf Elektrizität im deutschen Steinkohlenbergbau