Measuring system, encoder