a nickname of covadonga - German English Dictionary