Nav. History: #13 Daniel Eppstein — ... — #37 Steffen Döscher — #18 Dec Cartwright — #0 Filip Halámka — #0 Jáchym Hrušák