Änderungen kommentiert

Auch die pop()- und top()-Methoden nochmal angepasst, damit
Rückgabewerte nicht gecastet werden. Ist stilistisch besser und gibt
also keinen Punktabzug :-) Für Veränderungen, die mit diesem Commit
eingeführt wurden, einfach mal 'git diff HEAD~1' verwenden
Oder githubs cooles Feature!