German pedantry at its finest