Finder Petersen det gavnligt, at DTU fremover vil uddanne 500 færre ingeniører?