Changing text on comment form

First off, thanks Konstantin for the great theme. ??

I want to change the text “Comment” next to the comment box, and also the text “Post Comment” on the button.

I’ve looked in functions.php and everywhere else but I can’t find where these bits of the form are rendered?