Deal to end German rail strikes features a 35-hour work week with an option to work longer