Text this: Die deutsche Basaltindustrie;