christmas holidays prolonged beyond the day of three kings - German English Dictionary