In proceedings mit Doppelpunkt und URL