added holbergstuen theme