lilla vackra staden Roskilde bar omkring 7,000 invånare.