We provide a reviewlike introduction into the quantum mechanical formalism related to non-Hermitian Hamiltonian systems with real eigenvalues. Starting with the time-independent framework we explain how to determine an appropriate domain of a non-Hermitian Hamiltonian and pay particular attention to the role played by PT-symmetry and pseudo-Hermiticity. We discuss the time-evolution of such systems having in particular the question in mind of how to couple consistently an electric field to pseudo-Hermitian Hamiltonians. We illustrate the general formalism with three explicit examples: i) the generalized Swanson Hamiltonians, which constitute non-Hermitian extensions of anharmonic oscillators, ii) the spiked harmonic oscillator, which exhibits explicit supersymmetry and iii) the -x^4-potential, which serves as a toy model for the quantum field theoretical phi^4-theory.