Just as a side note: At some point Firedrake should get copyright headers etc. But not in this pull request...