English: What country was Frederick of Luxembourg from?
translation: ¿De qué país era Federico de Luxemburgo?