What was the name of the diner in the television show "Happy Days"?

What was the name of the diner in the television show "Happy Days"?