International Symposium on Underground Openings (1972 Lucerne)