Thanks to a tip by Stefano B., who found tape dumps of university archives I have added:
Compilers developed at the Vrije Universiteit, Amsterdam
– Pascal-U, the 1977 derivate of the portable Pascal P2 from ETH
– Pascal-VU, the ISO standard Pascal compiler from 1979
– (links to) the Amsterdam Compiler Kit
Stefano also traced the Pascal P3 compiler, 1976, the missing link between Pascal P2 and Pascal P4