diminutive of pedro (peter) - German English Dictionary