800 kronor , jemte ersättning för alla omkostnaderna , åt docenten , fil.