In what month did Jens Stub die?
Jens Stub died in October.