Re: Name Collision with Standard Library

[schmidh]

Thanks, Andreas. I just wondered why the non-standard version seems always to 
be loaded. But this makes it unambiguous and clear.