Loop Spaces In Motivic Homotopy Theory by Marvin Decker