Before revision: The Swedish king was for the time Magnus Ladulås.
After revision: The Swedish king at the time was Magnus Ladulås.