Thank you all for your comments.

@Danny C.: Yes, I did. You're very attentive.
In Germany everybody says 'cool'. I don't know about the US.

Guenter