Quelltext der Javascript-Source minlib.js