Girder number in time context string.

Fixes #128