Why August 15th is a public holiday in parts of Germany : vi