3 ms·

yes, I guess someone has just been very pedantic. Normally "Kaiserslauten" should be understood too.