@unpublished{jl_2003/smv_system,
	title = "Das SMV-System",
	author = "Jens Lehmann",
	year = "2003",
	note = "Proseminar Modale Logik",
}

Please send me an email if the BibTeX export is incorrect/incomplete.