Dobšinská Maša, súčasť priehrady