Do they actually call it a pint or just a half litre / large beer?

That's seems to be the norm in a lot of mainland Europe.