Hardy Ferentschik closed an issue as Fixed