File:De Groot cutting the ribbon.jpg