danske skolmannen Ernst Trier.