4 ms·

Germany exports expensive stuff.