Not a public holiday in Germany, so crack on.
Next public holiday in Germany is 3rd October, Reunification Day