Gerhard Woeginger: An Introduction to Scheduling Theory