RegioManager|TimeStretch
Parameters for the range of time stretching when constructing a RegioCart.