The first "there" isn't necessary here and furthermore sounds very, very unnatural in English. You can't just translate literally. This is a problem in many sentences in this lesson.

I think the literal translations are good, because we're working with directional concepts that English doesn't have. Yes, they sound awkward, but but they're needed to specify the right Hungarian forms.

Do I need "mi?"