Lasius, Otto