How Many Notes Are There? The Theory of Quarter Tones