Wie hoch ist der Lombardsatz?