Washbasin mixer