Permission is granted under the copyright for educational, non-commercial use of these materials. Other uses require permission of the copyright holders.