san ildefonso - German English Dictionary