May 1 is a public holiday in Austria: Labor Day. In Vienna that means the stores are closed, but the...