Thanks for the answer (no, I am not using Windows but another non-case-sensitive file system for testing).
I never understood CodeIgniter's naming scheme for controllers and the reason for it. The relevant part of the URL scheme for identifying the controller is case sensitive, or?! Perhaps there is somewhere in CodeIgniter a function that creates from a generic name the name of a controller?