The long-term aftermath of the Amsterdam air disaster by A.B. Witteveen