Verifiziere, dass y = e^(-t)cos t Lösung von y'' + 2y' + 2y = 0 ist