Proving a Concept of Flexible Under-Frequency Load Shedding with Hardware-in-the-Loop Testing