Water pump cover gasket

[Harald]

Does anyone know the size of the o-ring for the water pump cover?