recovered Oberon file header mistakenly destroyed by the previous commit

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@6867 8c9fc860-2736-0410-a75d-ab315db34111