КЭС — 5.2.3 Глаголы в наиболее употребительных временных формах действительного и страдательного залогов в изъявительном наклонении: Prasens, Perfekt, Futurum, Prateritum. Спряжение различных типов глаголов в Prasens, Prateritum; эквиваленты модальных глаголов: haben / sein + zu + Infinitiv.