Der Betrag des Schadens, welchen Nutzungs-, Gebrauchs- und Servitutberechtigte, Pächter und Mieter durch die Enteignung erleiden, ist, soweit derselbe nicht in der nach § 7 für das enteignete Grundeigentum bestimmten Entschädigung oder in der an derselben zu gewährenden Nutzung begriffen ist, besonders zu ersetzen.