En stadshauptman i Christiania vid namnOluf