public holiday type - Deutsch Englisch Wörterbuch