kleinere Änderungen, alte Copyright-Kommentare entfernt.