First commit.

The former sources got compacted and tabs converted to spaces.