Restore lost changes.
Eckard, pull before pushing a new commit!