Christian Doppler and the Doppler effect