Ist der Tag der Deutschen Einheit ein Banktag?

In den letzten Tagen erreichte uns die Frage, ob der Tag der Deutschen Einheit ein Banktag ist, also ob die Banken und Sparkassen an diesem Tag buchen. Die Frage hat insoweit ganz praktische Bedeutung, als...