I didn't know that! Thank you. I've always heard "Hochdeutsch" used to describe the "standard form" (based on German German) online. I stand corrected.