Konstruktion des Ext-Funktors (via injektive Auflösung) und seine Eigenschaften