Hamburg Region: civic holiday