This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. weiterlesen