Formating Date of post comments to euroean format

Hi,

I want to switch the date format of comments in a single post to european format.
Actually it is like this: Februar 16, 2015 at 12:26 PM

When editing the file single.php the date command I can change the format when the post was made, but not the date of the comments.

Thanks
Wolfgang