7

What is the term for a half-pint glass of beer?