Hallo,
Eine case-insensitive Suche ist aufwendiger als eine case-sensitive.
Daher vermutlich die Voreinstellung case-sensitive.
das leuchtet ein. (Von der technischen Seite her ;-) und da ich ja weiß, wer die Suchroutiene geschrieben hat ;-))))
Chräcker