3 ms·

> but it's Koch, pronounced like "Coke" Doubly pedantic but in the original German it is pronounced Kawcchh