EBay buys German online auction house