Europe’s stock market down slightly