It is the day after Ostern (Easter) when this post goes up, so still a holiday in most European countries. As I am on vacation in Spain, I was pleased I wouldn't have to take Friday or Monday as vacation days as they are public holidays throughout Germany. That isn't...